Z3, Constraint Satisfaction, Boolean Satisfiability, Theorem Proving, Mathematical Optimization
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·2d
FLINT: Fast Library for Number Theory
flintlib.org·2d
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·1d
AgentCoMa: A Compositional Benchmark Mixing Commonsense and Mathematical Reasoning in Real-World Scenarios
arxiv.org·2h
Breaking AI Testing Barriers: Dynamic Assertions and AI Automation Deliver 1000%+ Productivity Gains
engineering.salesforce.com·10h
Sets & Heaps in Haskell and Rust
mmhaskell.com·2d
ReST-RL: Achieving Accurate Code Reasoning of LLMs with Optimized Self-Training and Decoding
arxiv.org·2h
What the interns have wrought, 2025 edition
blog.janestreet.com·1d
Loading...Loading more...